This is TeX, WAITS Version 1.3 (preloaded format=plain 85.1.8)  7 MAR 1985 11:28
**STRIPS.
(STRIPS.[W85,JMC] (JMCMAC.TEX[1,SMC]
\hours=\count25
\minutes=\count26
\temp=\count27
\ampm=\toks12
\scount=\count28
\ecount=\count29
\itemcount=\count30
\subcount=\count31
\notecount=\count32
\partcount=\count33
\outlcount=\count34
\supcount=\count35
\parcount=\count36
)
Overfull \hbox (0.69373pt too wide) detected at line 54, p.2
 [] 

\hbox(16.0+11.0)x361.34999
.\glue 1.66663
.\vbox(16.0+11.0)x358.71046
..\hbox(8.5+3.5)x358.71046
...\glue(\tabskip) 0.0
...\hbox(8.5+3.5)x0.0 []
...\glue(\tabskip) 0.0
...\hbox(8.5+3.5)x358.71046, glue set 254.71202fil []
...\glue(\tabskip) 0.0
..\glue(\baselineskip) 3.0
..\hbox(8.5+3.5)x358.71046
...\glue(\tabskip) 0.0
...\hbox(8.5+3.5)x0.0 []
...\glue(\tabskip) 0.0
...\hbox(8.5+3.5)x358.71046 []
...\glue(\tabskip) 0.0
.\glue 1.66663


Overfull \hbox (19.71925pt too wide) detected at line 64, p.2
\tenit a \tensy 6\tenrm = \tenit b \tensy ↑ \tenit a \tensy 6\tenrm = \tenit c \
tensy ↑ \tenit a \tensy 6\tenrm = \tenit d \tensy ↑ \tenit a \tensy 6\tenrm = \t
enit Table \tensy ↑ \tenit b \tensy 6\tenrm = \tenit c \tensy ↑ \tenit b \tensy 
6\tenrm = \tenit d \tensy ↑ \tenit b \tensy 6\tenrm = \tenit Table \tensy ↑ \ten
it c \tensy 6\tenrm = \tenit d \tensy ↑ \tenit c \tensy 6\tenrm = \tenit Table \
tensy ↑ \tenit d \tensy 6\tenrm = \tenit Table\teni :

\hbox(6.94444+1.94444)x361.34999, glue set - 1.0
.\tenit a
.\kern0.76712
.\glue(\thickmuskip) 2.77771 plus 2.77771
.\tensy 6
.\tenrm =
.etc.

[1]
Overfull \hbox (55.00378pt too wide) detected at line 70, p.2
\tensy 8\tenit x [] y\teni :\tenit db\tenrm (\tenit on\tenrm (\tenit x\teni ; \t
enit y\tenrm )\teni ; \tenit s0\tenrm ) [] \tensy ⊃ [] \tenrm (\tenit x \tenrm =
 \tenit a \tensy ↑ \tenit y \tenrm = \tenit b\tenrm ) \tensy _ \tenrm (\tenit x 
\tenrm = \tenit b \tensy ↑ \tenit y \tenrm = \tenit c\tenrm ) \tensy _ \tenrm (\
tenit x \tenrm = \tenit c \tensy ↑ \tenit y \tenrm = \tenit Table\tenrm ) \tensy
 _ \tenrm (\tenit x \tenrm = \tenit d \tensy ↑ \tenit y \tenrm = \tenit Table\te
nrm )\teni :

\hbox(7.5+2.5)x361.34999, glue set - 1.0
.\tensy 8
.\tenit x
.\kern1.07639
.\glue(\thinmuskip) 1.66663
.\hbox(0.0+0.0)x-1.66663
..\kern-1.66663
.etc.

[2] [3] [4]
Output written on STRIPS.DVI[W85,JMC] (4 pages, 11080 bytes).